Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
371	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
372	Welcome to the Social and Emotional Learning Standards Implementation FY08 Renewal Application Phone Conference Add to Reading List Source URL: www.isbe.state.il.us Language: English - Date: 2009-02-27 13:24:00 Evolutionary biology Human development Psychoanalysis Personal life Behavior Attachment theory Ethology
373	Practical Implementation of a Dependently Typed Functional Programming Language by Edwin C. Brady Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2005-11-24 08:52:53 Theoretical computer science Lambda calculus Functional languages Data types Dependent type Type system Functional programming Programming language Epigram Programming language theory Type theory Software engineering
374	Resistance, Challenges to Power and the Impact of Policy in Systems Implementation Add to Reading List Source URL: is2.lse.ac.uk Language: English - Date: 2007-05-15 09:40:24 Sociolinguistics Discourse analysis Political philosophy Information systems Decision theory Policy System Discourse Science Linguistics Knowledge
375	Increasing Engagement in Automata Theory With JFLAP Susan H. Rodger Eric Wiebe Kyung Min Lee Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2009-01-09 06:06:20 Theoretical computer science Computing Compiling tools Automata theory Theory of computation Parsing CYK algorithm LL parser Formal grammar Formal languages Mathematics Programming language implementation
376	Design and Implementation of Pay for Performance Add to Reading List Source URL: ftp.iza.org Language: English - Date: 2012-02-07 10:18:23 Organizational theory Principal–agent problem Management Medicine Income Incentive Labour economics Motivation Pay for performance Behavior Asymmetric information Market failure
377	The effective implementation of GIS in Local Government using diffusion theory Phillip Dooley Thesis submitted for the Add to Reading List Source URL: www.csdila.unimelb.edu.au Language: English - Date: 2013-04-12 00:49:54 Geographic information systems Distributed GIS Geographic information systems in China
378	Data assimilation toolbox for scalar conservation laws: Java implementation manual Adrien Couque, S´ebastien Blandin, Alexandre Bayen, Daniel Work Abstract This document describes the use of the tester developed for the Add to Reading List Source URL: traffic.berkeley.edu Language: English - Date: 2011-09-21 14:32:05 Robot control Control theory Bayesian statistics Kalman filter Data assimilation Variance Covariance matrix Histogram Statistics Estimation theory Linear filters
379	The effective implementation of GIS in Local Government using diffusion theory Phillip Dooley Thesis submitted for the Add to Reading List Source URL: csdila.unimelb.edu.au Language: English - Date: 2013-04-12 00:49:54 Geographic information systems Distributed GIS Geographic information systems in China
380	A Fast Implementation of Burg’s Method Koen Vos August, 2013 Abstract Add to Reading List Source URL: www.opus-codec.org Language: English - Date: 2013-09-25 15:20:03 Time series analysis Numerical analysis Digital signal processing Mathematical optimization Estimation theory Linear prediction Levinson recursion Fast Fourier transform Least squares Mathematics Mathematical analysis Applied mathematics

UPDATE